/*-------------------------------------------------------------------------
 *
 * isolationtester.h
 *      include file for isolation tests
 *
 * Portions Copyright (c) 1996-2017, PostgreSQL Global Development Group
 * Portions Copyright (c) 1994, Regents of the University of California
 *
 * IDENTIFICATION
 *        src/test/isolation/isolationtester.h
 *
 *-------------------------------------------------------------------------
 */
#ifndef ISOLATIONTESTER_H
#define ISOLATIONTESTER_H

typedef struct Session Session;
typedef struct Step Step;

struct Session
{
    char       *name;
    char       *setupsql;
    char       *teardownsql;
    Step      **steps;
    int            nsteps;
};

struct Step
{
    int            session;
    char       *name;
    char       *sql;
    char       *errormsg;
};

typedef struct
{
    int            nsteps;
    char      **stepnames;
} Permutation;

typedef struct
{
    char      **setupsqls;
    int            nsetupsqls;
    char       *teardownsql;
    Session   **sessions;
    int            nsessions;
    Permutation **permutations;
    int            npermutations;
    Step      **allsteps;
    int            nallsteps;
} TestSpec;

extern TestSpec parseresult;

extern int    spec_yyparse(void);

extern int    spec_yylex(void);
extern void spec_yyerror(const char *str);

#endif                            /* ISOLATIONTESTER_H */
